541. Faster than Nyquist Signaling
پدیدآورنده : \ Deepak Dasalukunte ... [et.al.]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Signal processing -- Digital techniques,Digital communications,Integrated circuits -- Design and construction,پردازش سیگنال‌ها -- روش‌های رقمی,ارتباطات رقمی,مدارهای مجتمع -- طراحی و ساخت
رده :
E-Book
,
542. Fault covering problems in reconfigurable VLSI systems
پدیدآورنده : / By Ran Libeskind-Hadas ... [et al.]
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing,Integrated circuits - wafer-scale integration--Design and construction--Data processing,Fault-tolerant computing
رده :
TK
7874
.
F38
1992
543. Fault covering problems in reconfigurable VLSI systems
پدیدآورنده : / by Ran Libeskind-Hadas ... [et al.]
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Integrated circuits -- Very large scale integration -- Design and construction -- Data processing,Integrated circuits -- Wafer-scale integration -- Design and construction -- Data processing,Integrated circuits -- Fault tolerance
رده :
TK
7874
.
F38
1992
544. Fifth generation wafer architecture
پدیدآورنده : Shute, Malcolm J
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Fifth genertion computers,، Computer architecture,Design and construction ، Integrated circuits
رده :
QA
76
.
85
.
S58
1988
545. Fifth generation wafer architecture
پدیدآورنده : Malcolm J. Shute
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Fifth generation computers,Computer architecure,Integrated circuits- Design and construction
رده :
QA
،
76
.
85
،.
S58
،
1988
546. Fine pitch surface mount technology
پدیدآورنده : / Phil P. Marcoux
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Integrated circuits - Design and construction,Fine pitch technology
رده :
TK
7874
.
M259
1992
547. Flip-flop design in nanometer CMOS
پدیدآورنده : / Massimo Alioto, Elio Consoli, Gaetano Palumbo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Flip chip technology.,Integrated circuits--Very large scale integration--Design and construction,Metal oxide semiconductors, Complementary--Design and construction
رده :
TK7871
.
99
.
M44A45
2015
548. Flip-flop design in nanometer CMOS : from high speed to low energy
پدیدآورنده : Alioto, Massimo
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Flip chip technology,Design and construction ، Integrated circuits -- Very large scale integration,Design and construction ، Metal oxide semiconductors, Complementary
رده :
TK
7871
.
99
.
M44A44
549. Formal hardware verification : methods and systems in comparison
پدیدآورنده : Thomas Kropf, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design
رده :
QA
76
.
L28
Vol
.
1287
550. Formal methods for VLSI disign
پدیدآورنده : / edited by Jorgen Staunstrup
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Integrated Circuits -- Very large scale integration -- Design and construction -- Data processing,Computer -- aided,Integrated Circuits -- Large scale integration -- Testing
رده :
TK
7874
.
F65
1990
551. Formal methods in computer-aided design : first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
پدیدآورنده : Mandayam Srivas, Albert Camilleri, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1166
552. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
پدیدآورنده : Ganesh Gopalakrishnan, Philip Windley )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1522
553. Formal verification :
پدیدآورنده : Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)
رده :
TK7867
554. Formal verification : an essential toolkit for modern VLSI design
پدیدآورنده : Seligman, Erik
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(
رده :
TK
7867
.
S46F6
555. Fundamental principles of optical lithography :
پدیدآورنده : Chris Mack
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Integrated circuits-- Design and construction,Microlithography-- Industrial applications
رده :
TK7874
.
M196
2007
556. Fundamental principles of optical lithography
پدیدآورنده : Chris Mack
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (تهران)
موضوع : Integrated circuits--Design and construction,Microlithography--Industrial applications
557. Fundamental Principles of optical lithography : The science of microfabrication
پدیدآورنده : Chris Mack
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Integrated Circuits - Design and construction,Microlithography in dustrical applications
رده :
621
,.
381531
,
M196F
,
2007
558. Fundamentals of computer aided analysis and design )CAA/CAD( of integrated circuits, processes, and devices: a self instructional approach
پدیدآورنده : Fortno, Andres G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Design and construction - Data processing ، Integrated circuits
رده :
TK
7874
.
F65
559. Fundamentals of computer-aided circuit simulation
پدیدآورنده : McCalla, William J, William J. McCalla
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer-aided design
رده :
TK
7874
.
M355
1988
560. Fundamentals of computer-aided circuit simulation
پدیدآورنده : McCalla, William J.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Integrated circuits- Very large scale integration-Design and construction-Data processing,، Computer-aided design
رده :
TK
7874
.
M355
